#include <stdio.h>

int main(int argc, char **args)
{
	printf("[%s %d] Hello World\n", __FUNCTION__, __LINE__);

	return 0;
}
